- absolutely consistent system
- абсолютно непротиворечивая система
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Ottoman System in the Balkans — By the early sixteenth century most of the Balkan Peninsula’s Christians were submerged within the Ottomans’ Islamic theocratic society. In traditional Islamic civilization, no separation existed between religious and secular matters, and… … Wikipedia
KABBALAH — This entry is arranged according to the following outline: introduction general notes terms used for kabbalah the historical development of the kabbalah the early beginnings of mysticism and esotericism apocalyptic esotericism and merkabah… … Encyclopedia of Judaism
Gödel's incompleteness theorems — In mathematical logic, Gödel s incompleteness theorems, proved by Kurt Gödel in 1931, are two theorems stating inherent limitations of all but the most trivial formal systems for arithmetic of mathematical interest. The theorems are of… … Wikipedia
Consistency — For other uses, see Consistency (disambiguation). In logic, a consistent theory is one that does not contain a contradiction.[1] The lack of contradiction can be defined in either semantic or syntactic terms. The semantic definition states that a … Wikipedia
LINC 4GL — LINC is a 4th generation computer language, used mostly on Unisys computer systems.LINC is an abbreviation of Logic and Information Network Compiler.BackgroundLINC was originally developed as a short cut (or template) by two computer application… … Wikipedia
Chinese languages — or Sinitic languages Family of languages comprising one of the two branches of Sino Tibetan. They are spoken by about 95% of the inhabitants of China and by many communities of Chinese immigrants elsewhere. Linguists regard the major dialect… … Universalium
Semitic languages — Family of Afro Asiatic languages spoken in northern Africa and South Asia. No other language family has been attested in writing over a greater time span from the late 3rd millennium BC to the present. Both traditional and some recent… … Universalium
Prime95 — Infobox Software name = Prime95 caption = Prime95 can also be used for benchmarking. developer = George Woltman latest release version = 24.14 latest release date = August 9, 2005 [ [http://www.mersenne.org/freesoft.htm Free Software] ] latest… … Wikipedia
Bolyai, János — ▪ Hungarian mathematician born December 15, 1802, Kolozsvár, Hungary [now Cluj, Romania] died January 27, 1860, Marosvásárhely, Hungary [now Târgu Mureş, Romania] Hungarian mathematician and one of the founders of non Euclidean geometry a… … Universalium
Artificial consciousness — (AC), also known as machine consciousness (MC) or synthetic consciousness, is a field related to artificial intelligence and cognitive robotics whose aim is to define that which would have to be synthesized were consciousness to be found in an… … Wikipedia
MythBusters — Genre Documentary Science Created by Peter Rees Starrin … Wikipedia